- 双语例句 更多例句
本文提出了基于受限度量区间时序逻辑(Metric Interval Temporal Logic,MITL)的测试预言自动生成技术。
互联网摘选
该算法不涉及矩阵的逆运算和除法运算,不受条件aii≠0的限制,对于严重病态的线性系统也能得到高精度解。
互联网摘选
在自动设计一般性的问题上采用这一有限制性的方法在教学上有许多优点.
词典精选例句
- 相关词组
- impeller approach叶轮入口
- analytic approach[计]分析法;
- ground-controlled approach地面控制进场;
- most restricted aspect最大限制示像[显示]
- zone of approach啮入区
- approach angle(工作部件的)碎土角,挺进角;
- inductance approach switch电感式接近开关
- genetic restricted factor遗传限制因子
- systematic approach系统研究法;
- biological approach生物学的探讨方法;
- inclined approach斜坡道
- ground-controlled approach minimums地控进场最低数值
- approach to接近;
- monetary approach货币学派
- simulated approach模拟进场
- restricted to限制限于
- perceptual motor approach知觉运动型工作设计法;
- holistic approach整体分析;全观法;
- tailwind approach顺风进场着陆
- ground-controlled approach radar地面指挥截击雷达
- 今日热词
- 热门搜索
- information n.消息;数据;问讯处;
- candle n.蜡烛;
- egg n.鸡蛋,蛋;卵;<俚>家伙;
- temperament n.性格;(人或动物的)气质;易冲动;(性情)暴躁;
- salesman n.男售货员;男推销员;
- aloe vera 真芦荟,羊角掌,真芦荟制品;芦荟汁(用于生产护肤霜等);
- style n.方式;作风;款式;v.把…设计成;称呼;
- initial adj.开始的;n.首字母;
- you can you up ph.你行你上啊
- give me some sunshine 给我些阳光;给我点阳光;给我阳光
- probably adv.大概,或许,可能;
- ability n.能力,资格;能耐,才能;
